Approximation Algorithms for Maxsat
نویسنده
چکیده
The main aim of NP-completeness theory is the analysis of intractabil-ity. Many optimization problems were rst proved to be NP-hard. Since the complete solution of these problems requires exponential time, polynomial time algorithms to nd \near-optimal" solutions, i.e., approximation algorithms, appear to be viable. In this paper we show the basic principles of Approximation Theory for NP-completeness and sketch a collection of algorithms.
منابع مشابه
Maximal Falsifiability - Definitions, Algorithms, and Applications
Similarly to Maximum Satisfiability (MaxSAT), Minimum Satisfiability (MinSAT) is an optimization extension of the Boolean Satisfiability (SAT) decision problem. In recent years, both problems have been studied in terms of exact and approximation algorithms. In addition, the MaxSAT problem has been characterized in terms of Maximal Satisfiable Subsets (MSSes) and Minimal Correction Subsets (MCSe...
متن کاملNew Upper Bounds for MaxSat
We describe exact algorithms that provide new upper bounds for the Maximum Satisfiability problem (MaxSat). We prove that MaxSat can be solved in time O(|F | · 1.3972), where |F | is the length of a formula F in conjunctive normal form and K is the number of clauses in F . We also prove the time bounds O(|F | · 1.3995), where k is the maximum number of satisfiable clauses, and O((1.1279) ) for ...
متن کاملHorn Maximum Satisfiability: Reductions, Algorithms & Applications
Recent years have witness remarkable performance improvements in maximum satisfiability (MaxSAT) solvers. In practice, MaxSAT algorithms often target the most generic MaxSAT formulation, whereas dedicated solvers, which address specific subclasses of MaxSAT, have not been investigated. This paper shows that a wide range of optimization and decision problems are either naturally formulated as Ma...
متن کاملAlgorithms for Weighted Boolean Optimization
The Pseudo-Boolean Optimization (PBO) and Maximum Satisfiability (MaxSAT) problems are natural optimization extensions of Boolean Satisfiability (SAT). In the recent past, different algorithms have been proposed for PBO and for MaxSAT, despite the existence of straightforward mappings from PBO to MaxSAT and viceversa. This papers proposes Weighted Boolean Optimization (WBO), a new unified frame...
متن کاملLec . 2 : Approximation Algorithms for NP - hard Problems ( Part II )
We will continue the survey of approximation algorithms in this lecture. First, we will discuss a (1+ε)-approximation algorithm for Knapsack in time poly(n, 1/ε). We will then see applications of some heavy hammers such as linear programming (LP) and semi-definite programming (SDP) towards approximation algorithms. More specifically, we will see LPbased approximation for MAXSAT and MAXCUT. In t...
متن کامل